1.2.2.5. alpha.core.DynamicTypeChecker (ObjC)
Check for cases where the dynamic and the static type of an object are unrelated.

Examples:

id date = [NSDate date];

// Warning: Object has a dynamic type 'NSDate *' which is
// incompatible with static type 'NSNumber *'"
NSNumber *number = date;
[number doubleValue];